This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
WeiterlesenThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
WeiterlesenThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
WeiterlesenThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
WeiterlesenThis book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
WeiterlesenThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
WeiterlesenThis book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
WeiterlesenThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
WeiterlesenThis volume systematically sets out the basic elements on which to base financial analysis for business in the new century. ...
WeiterlesenThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
WeiterlesenThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
WeiterlesenThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
WeiterlesenThis book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...
WeiterlesenThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
WeiterlesenThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
WeiterlesenThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
WeiterlesenThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
WeiterlesenThis book is at the interface of logic, philosophy and science. It is intended for readers with interest and/or current involvement ...
WeiterlesenThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Weiterlesen